<?php
/**
 * Holds servlet variables
 */
class Servlet {
	/**
	 * Variable containing a reference to servlet configuration.
	 * 
	 * @var Configuration $configuration
	 */
	public static $configuration;
	
	/**
	 * Variable containing a reference to servlet session.
	 * 
	 * @var Session $session
	 */
	public static $session;
	
	/**
	 * Variable containing a reference to servlet session.
	 * 
	 * @var Cookie $cookie
	 */
	public static $cookie;
	
	/**
	 * Variable containing a reference to servlet session.
	 * 
	 * @var Request $request
	 */
	public static $request;
	
	/**
	 * Variable containing a reference to servlet session.
	 * 
	 * @var Response $response
	 */
	public static $response;
	
	/**
	 * Variable containing a reference to servlet session.
	 * 
	 * @var Models $models
	 */
	public static $models;
}